Cyclic Steady State Refinement: Multimodal Processes Perspective

The cyclic scheduling problem modeled in terms of Cyclic Concurrent Process Systems is considered. The problem can be seen as a kind of Diophantine problem, hence its solvability, i.e. schedulability, plays a pivotal role in many supply-chain problems. In contradiction to the traditionally offered solutions the approach proposed allows one to take into account such behavioral features as transient periods and deadlocks occurrence. So, the contribution’s aim is the modeling framework enabling an evaluation of cyclic scheduling problems solvability, i.e., the declarative approach to reachability problems regarding cyclic steady states determination as well as conditions guaranteeing assumed performance of multimodal processes executed within a concurrent cyclic processes environment.